翻訳と辞書
Words near each other
・ J. Robert King
・ J. Robert Lamar
・ J. Robert Lennon
・ J. Robert Oppenheimer
・ J. Robert Oppenheimer Memorial Prize
・ J. Robert Spencer
・ J. Robert Stassen
・ J. Robert Welsh Power Plant
・ J. Robert Wooley
・ J. Robert Wright
・ J. Robinson West
・ J. Roderic Korns
・ J. Roderick MacArthur
・ J. Rodman Williams
・ J. Roger Guffey
J. Roger Hindley
・ J. Roger Pichette
・ J. Roger Porter
・ J. Rogers Hollingsworth
・ J. Rogers Maxwell
・ J. Rogers Pope
・ J. Roker (Surrey cricketer)
・ J. Roland Kinzer
・ J. Roland Smith
・ J. Ronald Eastman
・ J. Ronnie Greer
・ J. Rosamond Johnson
・ J. Roscoe Miller
・ J. Ross Baughman
・ J. Ross Mackay


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

J. Roger Hindley : ウィキペディア英語版
J. Roger Hindley

J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.〔(Hindley's Swansea homepage )〕
==Education==
Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961.
He went on to receive a Ph.D. in 1964 from University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「J. Roger Hindley」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.